منابع مشابه
A Proof of a Conjecture of Knuth
From numerical experiments, D. E. Knuth conjectured that 0 < Dn+4 < Dn for a combinatorial sequence (Dn) defined as the difference Dn = Rn − Ln of two definite hypergeometric sums. The conjecture implies an identity of type Ln = bRnc, involving the floor function. We prove Knuth’s conjecture by applying Zeilberger’s algorithm as well as classical hypergeometric machinery.
متن کاملAnother refinement of the Bender-Knuth (ex-)conjecture
We compute the generating function of column-strict plane partitions with parts in {1, 2, . . . , n}, at most c columns, p rows of odd length and k parts equal to n. This refines both, Krattenthaler’s [10] and the author’s [5] refinement of the Bender-Knuth (ex-)Conjecture. The result is proved by an extension of the method for proving polynomial enumeration formulas which was introduced by the...
متن کاملRefined Dual Stable Grothendieck Polynomials and Generalized Bender-Knuth Involutions
The dual stable Grothendieck polynomials are a deformation of the Schur functions, originating in the study of the K-theory of the Grassmannian. We generalize these polynomials by introducing a countable family of additional parameters, and we prove that this generalization still defines symmetric functions. For this fact, we give two self-contained proofs, one of which constructs a family of i...
متن کاملA short proof of the maximum conjecture in CR dimension one
In this paper and by means of the extant results in the Tanaka theory, we present a very short proof in the specific case of CR dimension one for Beloshapka's maximum conjecture. Accordingly, we prove that each totally nondegenerate model of CR dimension one and length >= 3 has rigidity. As a result, we observe that the group of CR automorphisms associated with each of such models contains onl...
متن کاملOn the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang’s Conjecture
The purpose of this paper is twofold. First we derive theoretically, using appropriate transformation on x(n), the closed-form solution of the nonlinear difference equation x(n+1) = 1/(±1 + x(n)), n ∈ N_0. The form of solution of this equation, however, was first obtained in [10] but through induction principle. Then, with the solution of the above equation at hand, we prove a case ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1983
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1983.108.99